Foundations of Implementations for Formal Argumentation
نویسندگان
چکیده
We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the issue of evaluating software systems empirically with links to the International Competition on Computational Models of Argumentation.
منابع مشابه
Doing Argumentation Theory in Modal Logic
The present paper applies well-investigated modal logics to provide formal foundations to specific fragments of argumentation theory. This logic-driven analysis of argumentation allows: first, to systematize several results of argumentation theory reformulating them within suitable formal languages; second, to import several techniques (calculi, model-checking, evaluation games, bisimulation ga...
متن کامل1 Foundations of Implementations for For - mal Argumentation Federico Cerutti
We survey the current state of the art of general techniques, as well as specific software systems for solving tasks in abstract argumentation frameworks, structured argumentation frameworks, and approaches for visualizing and analysing argumentation. Furthermore, we discuss challenges and promising techniques such as parallel processing and approximation approaches. Finally, we address the iss...
متن کاملEliciting Requirements for an Argumentation Interchange Format
Argumentation Mark-up Languages have been formulated for exporting and storing argumentation knowledge described by use of argument editing and visualisation tools. These tools enable user structuring of arguments through diagramatic linkage of natural language sentences. Recent work has focussed on implementations of formal logical models of argument inference, and argumentation based decision...
متن کاملHybrid argumentation systems for structured news reports
Numerous argumentation systems have been proposed in the literature. Yet there often appears to be a shortfall between proposed systems and possible applications. In other words, there seems to be a need for further development of proposals for argumentation systems before they can be used widely in decision-support or knowledge management. We believe that this shortfall can be bridged by takin...
متن کاملThe Formal Argumentation Libraries of Tweety
We provide an overview on the argumentation libraries of the Tweety library collection to artificial intelligence and knowledge representation. These libraries comprise of implementations to abstract argumentation frameworks, as well as the most popular approaches to structured argumentation, and various further aspects. We briefly sketch the functionalities of these libraries and give some poi...
متن کامل